induced unitary representation

诱导酉表示